21. Cabal Seminar 81-85 : Proceedings, Caltech-UCLA Logic Seminar 1981-85
پدیدآورنده: A. S. Kechris, D. A. Martin, J. R. Steel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1333
22. Cabal Seminar 79-81 : Proceedings, Caltech - UCLA logic Seminar 1979-81
پدیدآورنده: edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1019
23. Cabal Seminar 76-77 : Proceedings, Caltech-UCLA logic Seminar 1976-1977
پدیدآورنده: edited by A. S. Kechris and Y. N. Moschovakis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
689
24. Cabal Seminar 77-79: proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
839
25. Cabal Seminar 81-85: proceedings, Caltech-UCLA Logic Seminar, 1981-85
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1333
26. Cabal Seminar 76-77 : proceedings, Caltech-UCLA Logic Seminar, 1976-77
پدیدآورنده: A.S. Kechris, Y. N. Moschovakis )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1976
27. Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar, 1979-81
پدیدآورنده: A.S. Kechris, D.A. Martin, Y. N. Moschovakis )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1979
28. Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar, 1981-85
پدیدآورنده: A.S. Kechris, D.A. Martin, J.R. Steel )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C3
1985
29. Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
689
,
839
,
1019
30. Cabal Seminar 76-77: proceedings, Caltech-UCLA Logic Seminar 1976-77
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
689
31. Cabal Seminar 79-81: proceedings, Caltech-UCLA Logic Seminar 1979-81
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1019
32. Cabal Seminar 77-79: proceedings, Caltech-UCLA logic seminar 1977-1979
پدیدآورنده: edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Recursion theory,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
839
33. Cabal seminar 79-81 : proceedings, Caltech - UCLA Logic Seminat 1979-1981
پدیدآورنده: edited by A. S. Kechris, D. A. Martin and Y. N. Moschovakis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1019
34. Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
پدیدآورنده: edited by A.S. Kechris, D.A. Martin, Y.N. Moschovakis
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1977
35. Classical recursion theory: the theory of functions and sets of natural numbers
پدیدآورنده : Odifreddi, Piergiorgio
موضوع : ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
36. Classical recursion theory : the theory of functions and sets of natural numbers
پدیدآورنده: Odifreddi, Piergiorgio, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
O35
1989
37. Complexity, logic, and recursion theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Recursion theory. ;
38. Computability, an introduction to recursive function theory
پدیدآورنده: Cutland, Nigel.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computable functions,، Recursion theory
رده :
QA
9
.
59
.
C87
1980
39. Computability, an introduction to recursive function theory
پدیدآورنده: / Nigel Cutland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
40. Computability : an introduction to recursive function theory
پدیدآورنده: Cutland, Nigel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
